// 断言，我断言你得到的就是一个a标签
// 断言是把一个宽泛的类型，断言成一个更加具体的类型
// 因为只有更加具体的类型，才能.出相应的属性和方法
const aLink = document.getElementById('aLink') as HTMLAnchorElement

aLink.href = 'http://www.baidu.com'

interface User {
  name: string
  age: number
  sex?: number
}

// 页面定义模型的初始值
let user = {} as User

user = {
  name: 'zhangsan',
  age: 123
}
